An Algebraic Model For Quorum Systems

Quorum systems are a key mathematical abstraction in distributed fault-tolerant computing for capturing trust assumptions. A quorum system is a collection of subsets of all processes, called quorums, with the property that each pair of quorums have a non-empty intersection. They can be found at the core of many reliable distributed systems, such as cloud computing platforms, distributed storage systems and blockchains. In this paper we give a new interpretation of quorum systems, starting with classical majority-based quorum systems and extending this to Byzantine quorum systems. We propose an algebraic representation of the theory underlying quorum systems making use of multivariate polynomial ideals, incorporating properties of these systems, and studying their algebraic varieties. To achieve this goal we will exploit properties of Boolean Groebner bases. The nice nature of Boolean Groebner bases allows us to avoid part of the combinatorial computations required to check consistency and availability of quorum systems. Our results provide a novel approach to test quorum systems properties from both algebraic and algorithmic perspectives.Comment: 15 pages, 3 algorithm

On the security of REDOG

We analyze REDOG, a public-key encryption system submitted to the Korean competition on post-quantum cryptography. REDOG is based on rank-metric codes. We prove its incorrectness and attack its implementation providing an efficient message recovery attack. Furthermore, we show that the security of REDOG is much lower than claimed. We then proceed to mitigate these issues and provide two approaches to fix the decryption issue, one of which also leads to better security

OVI in Elliptical Galaxies: Indicators of Cooling Flows

Early-type galaxies often contain a hot X-ray emitting interstellar medium (3-8E6 K) with an apparent radiative cooling time much less than a Hubble time. If unopposed by a heating mechanism, the gas will radiatively cool to temperatures <= 10E4 K at a rate proportional to L_X/T_X, typically 0.03-1 M_solar yr^-1. We can test if gas is cooling through the 3E5 K range by observing the OVI doublet, whose luminosity is proportional to the cooling rate. Here we report on a study of an unbiased sample of 24 galaxies, obtaining Far Ultraviolet Spectroscopic Explorer spectra to complement the X-ray data of ROSAT} and Chandra. The OVI line emission was detected in about 40% of the galaxies and at a luminosity level similar to the prediction from the cooling flow model. There is a correlation between Mdot_OVI and Mdot_X, although there is significant dispersion about the relationship, where the OVI is brighter or dimmer than expected by a factor of three or more. If the cooling flow picture is to be retained, this dispersion requires that cooling flows be time-dependent, as might occur by the activity of an AGN. However, of detected objects, those with the highest or lowest values of Mdot_OVI/Mdot_X are not systematically hot or cool, as one might predict from AGN heating.Comment: 49 pages, 26 figures, ApJ, in pres

A smartphone-supported weight loss program: design of the ENGAGED randomized controlled trial

Background Obesity remains a major public health challenge, demanding cost-effective and scalable weight management programs. Delivering key treatment components via mobile technology offers a potential way to reduce expensive in-person contact, thereby lowering the cost and burden of intensive weight loss programs. The ENGAGED study is a theory-guided, randomized controlled trial designed to examine the feasibility and efficacy of an abbreviated smartphone-supported weight loss program. Methods/design Ninety-six obese adults (BMI 30–39.9 kg/m2) will be randomized to one of three treatment conditions: (1) standard behavioral weight loss (STND), (2) technology-supported behavioral weight loss (TECH); or (3) self-guided behavioral weight loss (SELF). All groups will aim to achieve a 7% weight loss goal by reducing calorie and fat intake and progressively increasing moderate intensity physical activity to 175 minutes/week. STND and TECH will attend 8 group sessions and receive regular coaching calls during the first 6 months of the intervention; SELF will receive the Group Lifestyle Balance Program DVD’s and will not receive coaching calls. During months 1–6, TECH will use a specially designed smartphone application to monitor dietary intake, body weight, and objectively measured physical activity (obtained from a Blue-tooth enabled accelerometer). STND and SELF will self-monitor on paper diaries. Linear mixed modeling will be used to examine group differences on weight loss at months 3, 6, and 12. Self-monitoring adherence and diet and activity goal attainment will be tested as mediators. Discussion ENGAGED is an innovative weight loss intervention that integrates theory with emerging mobile technologies. We hypothesize that TECH, as compared to STND and SELF, will result in greater weight loss by virtue of improved behavioral adherence and goal achievement. Trial registration NCT0105171

Apaf-1 and caspase-9 do not act as tumor suppressors in myc-induced lymphomagenesis or mouse embryo fibroblast transformation

Based on experiments with cultured fibroblasts, the apoptosis regulators caspase-9 and Apaf-1 are hypothesized to function as tumor suppressors. To investigate their in vivo role in lymphomagenesis, an IgH enhancer-driven c-myc transgene was crossed onto Apaf-1−/− and caspase-9−/− mice. Due to perinatal lethality, Eμ-myc transgenic Apaf-1−/− or caspase-9−/− fetal liver cells were used to reconstitute lethally irradiated recipient mice. Surprisingly, no differences were seen in rate, incidence, or severity of lymphoma with loss of Apaf-1 or caspase-9, and Apaf-1 was not a critical determinant of anticancer drug sensitivity of c-myc–induced lymphomas. Moreover, loss of Apaf-1 did not promote oncogene-induced transformation of mouse embryo fibroblasts. Thus, Apaf-1 and caspase-9 do not suppress c-myc–induced lymphomagenesis and embryo fibroblast transformation

Bell Beaker people in Britain: migration, mobility and diet

The appearance of the distinctive ‘Beaker package’ marks an important horizon in British prehistory, but was it associated with immigrants to Britain or with indigenous converts? Analysis of the skeletal remains of 264 individuals from the British Chalcolithic–Early Bronze Age is revealing new information about the diet, migration and mobility of those buried with Beaker pottery and related material. Results indicate a considerable degree of mobility between childhood and death, but mostly within Britain rather than from Europe. Both migration and emulation appear to have had an important role in the adoption and spread of the Beaker package

R&D Paths of Pixel Detectors for Vertex Tracking and Radiation Imaging

This report reviews current trends in the R&D of semiconductor pixellated sensors for vertex tracking and radiation imaging. It identifies requirements of future HEP experiments at colliders, needed technological breakthroughs and highlights the relation to radiation detection and imaging applications in other fields of science.Comment: 17 pages, 2 figures, submitted to the European Strategy Preparatory Grou

Generation of Long Insert Pairs Using a Cre-LoxP Inverse PCR Approach

Large insert mate pair reads have a major impact on the overall success of de novo assembly and the discovery of inherited and acquired structural variants. The positional information of mate pair reads generally improves genome assembly by resolving repeat elements and/or ordering contigs. Currently available methods for building such libraries have one or more of limitations, such as relatively small insert size; unable to distinguish the junction of two ends; and/or low throughput. We developed a new approach, Cre-LoxP Inverse PCR Paired-End (CLIP-PE), which exploits the advantages of (1) Cre-LoxP recombination system to efficiently circularize large DNA fragments, (2) inverse PCR to enrich for the desired products that contain both ends of the large DNA fragments, and (3) the use of restriction enzymes to introduce a recognizable junction site between ligated fragment ends and to improve the self-ligation efficiency. We have successfully created CLIP-PE libraries up to 22 kb that are rich in informative read pairs and low in small fragment background. These libraries have demonstrated the ability to improve genome assemblies. The CLIP-PE methodology can be implemented with existing and future next-generation sequencing platforms

Prototype ATLAS IBL Modules using the FE-I4A Front-End Readout Chip

The ATLAS Collaboration will upgrade its semiconductor pixel tracking detector with a new Insertable B-layer (IBL) between the existing pixel detector and the vacuum pipe of the Large Hadron Collider. The extreme operating conditions at this location have necessitated the development of new radiation hard pixel sensor technologies and a new front-end readout chip, called the FE-I4. Planar pixel sensors and 3D pixel sensors have been investigated to equip this new pixel layer, and prototype modules using the FE-I4A have been fabricated and characterized using 120 GeV pions at the CERN SPS and 4 GeV positrons at DESY, before and after module irradiation. Beam test results are presented, including charge collection efficiency, tracking efficiency and charge sharing.Comment: 45 pages, 30 figures, submitted to JINS